1. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses

رده :
QA
76
.
9
.
S88
I576
1996